MOLOG - definitie. Wat is MOLOG
DICLIB.COM
AI-gebaseerde taaltools
Voer een woord of zin in in een taal naar keuze 👆
Taal:     

Vertaling en analyse van woorden door kunstmatige intelligentie

Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:

  • hoe het woord wordt gebruikt
  • gebruiksfrequentie
  • het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
  • opties voor woordvertaling
  • Gebruiksvoorbeelden (meerdere zinnen met vertaling)
  • etymologie

Wat (wie) is MOLOG - definitie


MOLOG         
MOLOGLuis Fariñas del Cerro, MOLOG A system that extends PROLOG with modal logic, New Generation Computing, 4:35-50, 1986Luis Farinas Del Cerro et Marti Penttonen, a note on the complexity of the satisfiability of moal Horn clauses, The journal of logic programming, volume 4, issue 1, mars 1987 Philippe Balbiani, Luis Farinas Del Cerro et Andreas Herzig, Declarative semantics for Modal Logic Programming, Fifth Generation Computer Systems'88est une généralisation du langage Prolog permettant d'étendre le paradigme de la Programmation logique à la logique non classique et en particulier à la logique modale, la logique aléthique ou la logique temporelle. Le nom MOLOG est un acronyme de MOdal LOGic et également une référence à l'acronyme PROLOG, PROgrammation